The method based on the idea of Galois connection is well known. It facilitates investigations into similarities between mathematical structures, including isomorphisms between these structures, the highest degree of similarity. This idea is employed here and adapted so as to get to the core of aspects of the relationship between some metamathematical structures. The focus is put on the relation between traditional methodological orthodoxy based on the idea of proof , on the one hand, and on some alternative methodological set-ups (...) based on other ideas such as consistency or some forms of maximality, on the other hand. (shrink)

the standard metalogical set-ups seem to be all based on the idea of consequence (or proof). However, metalogic can also be effectively constructed using some non-standard primmitive ideas. In this paper an outline is given to four metalogical frameworks, alternative to the standard set-ups. They are based, respectively, on the idea of consistency; on an omission (or separation) operator; on an extension operator (called in the paper a Lindenbaum operator); and on the idea of maximality. All these metalogics, including the (...) standard consequence-based one, are one-to-one and proof-preserving translatable, and, in this sense, are seen pairwise equivalent and „externally” consistent. (shrink)

The paper provides a method for a uniform complete Hilbert-style axiomatisation of Post's -conditionals and Post's negation, where m is the number of truth values and u is the number of designated truth values . The main feature of the technique which we employ in this proof generalises the well-known Kalmár Lemma which was used by its author in his completeness argument for the ordinary, two-valued logic.

. The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other.

By indirect-deduction theorems introduced in the present paper we mean the theorems that allow to formalize indirect reasonings occurring in deductive practice in general and in mathematics in particular. We discuss the relationship between the introduced theorems and some logical calculi being virtually confined to propositional calculi with implication and negation. It is worth to notice that the above theorems are very handy and effective in proving logical theses.

stanislaw lesniewski, Collected Works, Edited by Stanislaw J. Surma, Jan T. Srzednicki and D. I. Barnett, with an annotated bibliography by V. Frederick Rickey. Warsaw:PWN?Polish Scientific Publishers; and Dordrecht, Boston, London: Kluwer. 2 vols., xvi + 794 pp. $274/£163/Dfl. 480.

How do thought and language manage to be 'about' aspects of the world? J. Robert G. Williams investigates how representation arises out of a fundamentally non-representational world, showing the explanatory relations between the representational properties of language, of thought, and of perception and intention.

J. L. Ackrill; VIII*—Aristotle's Definitions of Psuche, Proceedings of the Aristotelian Society, Volume 73, Issue 1, 1 June 1973, Pages 119–134, https://doi.org.

Misconceptions about energy conservation abound due to the gap between physics and secondary school chemistry. This paper surveys this difference and its relevance to the 1690s–2010s Leibnizian argument that mind-body interaction is impossible due to conservation laws. Justifications for energy conservation are partly empirical, such as Joule’s paddle wheel experiment, and partly theoretical, such as Lagrange’s statement in 1811 that energy is conserved if the potential energy does not depend on time. In 1918 Noether generalized results like Lagrange’s and proved (...) a converse: symmetries imply conservation laws and vice versa. Conservation holds if and only if nature is uniform. The rise of field physics during the 1860s–1920s implied that energy is located in particular places and conservation is primordially local: energy cannot disappear in Cambridge and reappear in Lincoln instantaneously or later; neither can it simply disappear in Cambridge or simply appear in Lincoln. A global conservation law can be inferred in some circumstances. Einstein’s General Relativity, which stimulated Noether’s work, is another source of difficulty for conservation laws. As is too rarely realized, the theory admits conserved quantities due to symmetries of the Lagrangian, like other theories. Indeed General Relativity has more symmetries and hence more conserved energies. An argument akin to Leibniz’s finally gets some force. While the mathematics is too advanced for secondary school, the ideas that conservation is tied to uniformities of nature and that energy is in particular places, are accessible. Improved science teaching would serve the truth and enhance the social credibility of science. (shrink)

With contributions by leading scholars in the field, this book is the first collection in the English language devoted to Baumgarten’s aesthetics.

Part I of this two-part paper provided a broad overview of clinical and experimental findings bearing on the neural correlates of conscious processes. It was argued that several neurocognitive models related to: orienting to the outer world, dream sleep, and the integration of sensory-motor representations, converge upon a core ‘conscious system’, dubbed the extended reticular-thalamic activating system . The functions of the ERTAS, which shares extensive projections with the cerebral cortex, are mostly ‘implicit’, in contrast to the explicit representation of (...) conscious content within the neocortex. Part II expands this ERTAS model to encompass: the generation of coherent patterns of EEG activation, the integration of distributed cortical processes into a stream of unified percepts , and selective attention, as well as links between the ERTAS and systems providing the neural substrates for episodic memory and volition. (shrink)

An interesting aspect of Ernest Sosa’s (2017) recent thinking is that enhanced performances (e.g., the performance of an athlete under the influence of a performance-enhancing drug) fall short of aptness, and this is because such enhanced performances do not issue from genuine competences on the part of the agent. In this paper, I explore in some detail the implications of such thinking in Sosa’s wider virtue epistemology, with a focus on cases of cognitive enhancement. A certain puzzle is then highlighted, (...) and the solution proposed draws from both the recent moral responsibility literature on guidance control (e.g., Fischer and Ravizza 1998; Fischer 2012) as well as from work on cognitive integration in the philosophy of mind and cognitive science (e.g., Clark and Chalmers 1998; Clark 2008; Pritchard 2010; Palermos 2014; Carter 2017). (shrink)

The language of phenomenology includes terms such as intentionality, phenom- enon, insight, analysis, sense, not to mention the key term of Edmund Husserl’s manifesto, “the things themselves” to return to . But what does the “things them- selves” properly mean? How come the term is replaced by the “findings” over time? And what are the findings for? The investigation begins by looking at the tricky legacy of the modern turn, trying to clarify ties to past masters, including Francis- co Suárez (...) and Augustine of Hippo . The former, because his influence goes beyond René Descartes reaching undoubtedly Franz Brentano and his students, as well as Martin Heidegger . The latter, because Augustine gives a personal component to the Greek inheritance, marked by the “inward turn .” However, it would not be possible to review the history of thought without the help offered by Jan Patočka's analyses . Patočka discloses the “care” of the Greek philosophers, Plato and Dem- ocritus among others, “for the soul”, we would say with Patočka for “being,” whose sense “does not leave us indifferent” as the leitmotiv of Ancient Philosophy . Nev- ertheless, in his lectures on Plato and Europe, Patočka points out that you must be careful not to confuse the phenomena of things, of existens, with the phenomena of being . Finally, Patočka’s legacy is found in the efforts to reconcile the life-feeling with the modern construction of reality, which means “a radical reconstruction of the naive and natural world of common sense .” In some ways, intentionality is to be revised . (shrink)

Clarendon Later Ancient Philosophers General Editors: Professor Jonathan Barnes, Balliol College, Oxford, and Professor A. A. Long, University of California, Berkeley This series, which is modelled on the familiar Clarendon Aristotle and Clarendon Plato Series, is designed to encourage philosophers and students of philosophy to explore the fertile terrain of later ancient philosophy. The texts will range in date from the first century BC to the fifth century AD, and they will cover all the parts and all the schools of (...) philosophy. Each volume will contain a substantial introduction, an English translation, and a critical commentary on the philosophical claims and arguments of the text. The translations will aim primarily at accuracy and fidelity; but they will also be readable and accompanied by notes on textual problems that affect the philosophical interpretation. No knowledge of Greek or Latin will be assumed. Galen's On the Therapeutic Method, written late in his life, represents the distillation in its most complete form of Galen's views on the nature, genesis, proper classification, and treatment of disease. It was one of the most widely read of all classical texts during the Middle Ages and the Renaissance, and formed the core of the medical curriculum until the seventeenth century. Although still deeply influential in the nineteenth century, it has been unjustly neglected in modern times. The work contains a fascinating collection of views on scientific terminology and taxonomy, the application of the logical methods of collection and division to science, the axiomatization of science, and the structure of causation. Consequently it is a key text in later Greek philosophy of science. R. J. Hankinson provides here the first translation into any modern language of the first two books, together with an introduction and a philosophical commentary. (shrink)

Ethical consumerism is the thesis that we should let our values determine our consumer purchases. We should purchase items that accord with our values and refrain from buying those that do not. The end goal, for ethical consumerism, is to transform the market through consumer demand. The arm of this movement associated with food choice embraces the slogan “Vote with Your Fork!” As in the more general movement, the idea is that we should let our values dictate our choices. In (...) this paper, I offer a critique of the Vote with Your Fork campaign (hereafter VWYF) that focuses on the agency of individuals. For VWYF to be effective, minimally, individuals must act _intentionally_ when making food choices. In the ideal case, individuals adopt and endorse the values implicit in VWYF and exhibit _autonomous agency_ when they purchase and consume food. The problem, though, is that a number of things can go wrong along the way. I argue that very few of us are in the position to exhibit autonomous agency with respect to our food choices. Because of this, VWYF could very well undermine its own goals. (shrink)